MAKING VOID SAFETY PRACTICAL
نویسندگان
چکیده
منابع مشابه
Making Consensus Practical
This paper presents the abstraction of lazy consensus and argues for its use as an effective component for building distributed agreement protocols in practical asynchronous systems where processes and links can crash and recover. Lazy consensus looks like consensus, is equivalent to consensus, but is not consensus. The specification of lazy consensus has an ondemand and a re-entrant flavors th...
متن کاملMaking 3D Textures Practical
While 2D texture mapping is one of the most powerful rendering techniques that make 3D objects appear visually interesting, it suffers from the visual artifacts, produced when 2D image patterns are wrapped onto the surface of objects with arbitrary shapes. On the other hand, 3D texture mapping generates highly natural visual effects in which objects appear carved from lumps of materials rather ...
متن کاملMaking Type Inference Practical
We present the implementation of a type inference algorithm for untyped object-oriented programs with inheritance, assignments, and late binding. The algorithm signiicantly improves our previous one, presented at OOPSLA'91, since it can handle collection classes, such as List, in a useful way. Also, the complexity has been dramatically improved, from exponential time to low polynomial time. The...
متن کاملMaking Archetypal Analysis Practical
Archetypal analysis represents the members of a set of multivariate data as a convex combination of extremal points of the data. It allows for dimensionality reduction and clustering and is particularly useful whenever the data are superpositions of basic entities. However, since its computation costs grow quadratically with the number of data points, the original algorithm hardly applies to mo...
متن کاملO4: Theoretical and Practical Basics for Successful Traffic Safety Work
لطفاً به چکیده انگلیسی مراجعه شود.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: System Informatics
سال: 2017
ISSN: 2307-6410
DOI: 10.31144/si.2307-6410.2017.n10.p45-56